\begin{tabbing}
GrpSig
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=${\it car}$:Type\+
\\[0ex]$\times$ (${\it eq}$:(${\it car}$$\rightarrow$${\it car}$$\rightarrow\mathbb{B}$)
\\[0ex]$\times$ ${\it le}$:(${\it car}$$\rightarrow$${\it car}$$\rightarrow\mathbb{B}$)
\\[0ex]$\times$ ${\it op}$:(${\it car}$$\rightarrow$${\it car}$$\rightarrow$${\it car}$)
\\[0ex]$\times$ (${\it id}$:${\it car}$
\\[0ex]$\times$ (${\it car}$$\rightarrow$${\it car}$)))
\-
\end{tabbing}